Computer aided verification
- Författare
- THomas A. Henzinger Rajeev Alur International Conference on Computer Aided Verification 1996) New Brunswick :
- (8th International Conference, CAV '96, New Brunswick, New Jersey, USA, July 31 - August 3, 1996 : proceedings Rajeev Alur, Thomas A. Henzinger (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin | 472 sidor. ill. |